Automated Test Data Generation Using a Relational Approach

In general, test data generation techniques require an entire program path for automated test data generation. This paper presents a new way for generating test data automatically even without specifying a program path completely. The proposed method reduces the burden of selecting a program path and also makes it easy to generate test data according to various test adequacy criteria. For the ends, this paper presents a framework for transforming a program under test into Alloy which is the first-order relational logic and then producing test data via Alloy analyzer. This paper illustrates the proposed method through simple, but illustrative examples.